A expressão de busca foi <related:sid.inpe.br/mtc-m21c/2019/09.24.17.06.13-0:en:title:2:test model generation based:singularity methodology automatic unit test data generation c++ applications based model checking counterexamples:>.
27 referências similares foram encontradas(inclusive a original) buscando em 17 dentre 17 Arquivos (este total pode incluir algumas duplicatas - para ver a conta certa clique no botão Mostrar Todas).
As 10 mais recentes estão listadas abaixo.
Data e hora local de busca: 20/09/2024 21:52.